|
In commutative algebra the Hilbert–Samuel function, named after David Hilbert and Pierre Samuel,〔H. Hironaka, Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I. Ann. of Math. 2nd Ser., Vol. 79, No. 1. (Jan., 1964), pp. 109-203.〕 of a nonzero finitely generated module over a commutative Noetherian local ring and a primary ideal of is the map such that, for all , : where denotes the length over . It is related to the Hilbert function of the associated graded module by the identity : For sufficiently large , it coincides with a polynomial function of degree equal to .〔Atiyah, M. F. and MacDonald, I. G. ''Introduction to Commutative Algebra''. Reading, MA: Addison–Wesley, 1969.〕 ==Examples== For the ring of formal power series in two variables taken as a module over itself and graded by the order and the ideal generated by the monomials ''x''2 and ''y''3 we have : 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Hilbert–Samuel function」の詳細全文を読む スポンサード リンク
|